#!/bin/gawk -f

BEGIN {
    oldtim = 0.
}

/^TIME/ {
    printf( "%s: ", $0 )
    getline
    t = $1
    sub( /u/, "", t )
    tim = t + 0.
    printf( "%6.1f   %s\n", tim-oldtim, $0 )
    oldtim = tim
}
